361. Logic : a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
362. Logic: a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
363. Logic : a brief course
پدیدآورنده : Mundici, Daniele, 6491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
364. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
365. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
366. Logic and automata
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
367. Logic and combinatorics
پدیدآورنده : [Edited by]& Stephen G. Simpson
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Logic symbolic and mathematical - Congresses,Combinatorial analysis - Congresses
رده :
QA
,
9
,.
A1A47
368. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده :
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Combinatorial analysis-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
369. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده : Stephen G. Simpson, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Combinatorial analysis
رده :
QA
9
.
A1A66
1985
370. Logic and computer science
پدیدآورنده : Edited by Piergiorgio Odifreddi
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
9
.
L6
1990
371. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer ... ]et al.[; editor, P. Odifreddi
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429
372. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
373. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
374. Logic-based decision support : mixed integer model formulation
پدیدآورنده : Jeroslow, Robert G., 2491-8891
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Decision support systems,Mathematical models ، Decision making,، Logic, Symbolic and mathematical
رده :
T
58
.
62
.
J47
1989
375. Logic-based methods for optimization: combining and constraint satisfaction
پدیدآورنده : John Hooker
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Linear programming,Mathematical optimization,Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
376. Logic-based methods for optimization: combining optimization and constraint satisfaction
پدیدآورنده : Hooker, John
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
377. Logic-based methods for optimization : combining optimization and constraint satisfaction
پدیدآورنده : Hooker, John, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H6
378. Logic collequium: Symposium on Logic held at Boston, 1972-1973
پدیدآورنده : edited by R. Parikh
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
453
379. Logic colloquium 76 : Proceedings of a confernce held in Oxford in July 1976
پدیدآورنده : Edited by R.O. Gandy )and( J.M.E. Hyland
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
L64
1976
380. Logic for applications
پدیدآورنده : Nerode, Anil
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
N47
1997